/
  • Search Results for '(relative)unfolding.theunfoldingt Ofatermtisthetermobtainedfromtbyturningitsexplicitsubstitutionsinimplicitones:x :=x;(tu:=t U ;(x:t:=x:t ;(t[x�u]:=t Fx�u G:wewillalsonee'